- одноэлементное множество
- singleton
Русско-английский словарь по информационным технологиям. 2015.
Русско-английский словарь по информационным технологиям. 2015.
Мягкое множество — Мягкое множество параметризированное классом принадлежности семейство элементов универсума в теории нечётких множеств. Определение Под мягким множеством понимается множество пар: , где универсальное множество, а … Википедия
МУЛЬТИАЛГЕБРА — множество, на к ром задана система (вообще говоря, частичных) мультиопераций. Частичной мультиоперацией на множестве Аназ. частичное отображение декартовых степеней множества А, где . При этом под понимается одноэлементное множество.… … Математическая энциклопедия
МНОЖЕСТВ КАТЕГОРИЯ — категория, объектами к рой являются всевозможные множества, морфиз мами всевозможные отображения множеств друг в друга, и умножение морфизмов определяется как последовательное выполнение отображений и Если теоретико категорные рассмотрения… … Математическая энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ОТОБРАЖЕНИЕ — однозначное закон, по к рому каждому элементу нек рого заданного множества X ставится в соответствие вполне определенный элемент другого заданного множества Y(при этом Xможет совпадать с Y). Такое соотношение между элементами и записывается в… … Математическая энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
ПОДСТАНОВОК ГРУППА — совокупность подстановок на нек ром множестве X, образующих группу относительно операции умножения подстановок. Иначе, П. г. это пара (G, X), где G группа, X множество и каждому соответствует подстановка множества Xтакая, что 1) , , и 2) х a=х… … Математическая энциклопедия
СВОБОДНАЯ ПЕРЕМЕННАЯ — свободное вхождение переменной, вхождение переменной в языковое выражение, являющееся параметром этого выражения. Строгое определение этого понятия может быть дано только для формализованного языка. Для каждого языка дается свое определение С. п … Математическая энциклопедия
Унарная система счисления — Системы счисления в культуре Индо арабская система счисления Арабская Индийские Тамильская Бирманская Кхмерская Лаоская Монгольская Тайская Восточноазиатские системы счисления Китайская Японская Сучжоу Корейская Вьетнамская Счётные палочки… … Википедия
F-алгебра — В математике, и особенно в теории категорий, алгебра это алгебраическая структура, связанная с функтором . Определение алгеброй эндофунктора называется объект из … Википедия
ПРИМАРНЫЙ ИДЕАЛ — коммутативного кольца R такой идеал , что если и , то либо , либо для нек рого натурального числа п. В кольце целых чисел П. и. идеал вида , где р простое, п натуральное число. Важную роль в коммутативной алгебре играет представление любого… … Математическая энциклопедия